1. Computation and proof theory
Author: / edited by M. M. Richter ... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computational complexity -- Congresses,Proof theory -- Congresses
Classification :
QA
9
.
59
.
C65
1983
